Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
نویسندگان
چکیده
منابع مشابه
Simulation-Equivalent Reachability of Large Linear Systems with Inputs
Control systems can be subject to outside inputs, environmental effects, disturbances, and sensor/actuator inaccuracy. To model such systems, linear differential equations with constrained inputs are often used, ẋ(t) = Ax(t) + Bu(t), where the input vector u(t) stays in some bound. Simulating these models is an important tool for detecting design issues. However, since there may be many possibl...
متن کاملReachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace
One often wishes for the ability to formally analyze large-scale systems—typically, however, one can either formally analyze a rather small system or informally analyze a large-scale system. This work tries to further close this performance gap for reachability analysis of linear systems. Reachability analysis can capture the whole set of possible solutions of a dynamic system and is thus used ...
متن کاملAnalyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties
As an important approach to analyzing safety of a dynamic system, this paper considers the task of computing overapproximations of reachable sets, i.e. the set of states which is reachable from a given initial set of states. The class of systems under investigation are linear, time-invariant systems with parametric uncertainties and uncertain but bounded input. The possible set of system matric...
متن کاملVerified Reachability Analysis of Continuous Systems
Ordinary differential equations (ODEs) are often used to model the dynamics of (often safety-critical) continuous systems. This work presents the formal verification of an algorithm for reachability analysis in continuous systems. The algorithm features adaptive RungeKutta methods and rigorous numerics based on affine arithmetic. It is proved to be sound with respect to the existing formalizati...
متن کاملFractional Positive Continuous-Time Linear Systems and Their Reachability
In positive systems, inputs, state variables and outputs take only nonnegative values. Examples of positive systems are industrial processes involving chemical reactors, heat exchangers and distillation columns, storage systems, compartmental systems, water and atmospheric pollution models. A variety of models behaving as positive linear systems can be found in engineering, management science, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2018
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2018.05.026